home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT2.SPK / lib / lci / lclinit
Text File  |  1996-09-04  |  778b  |  41 lines
  1. \comment  Standard Larch C Interface Language (LCL) init file
  2.  
  3. commentSym //
  4.  
  5. opChar        ~!#$&?@|
  6.  
  7. openSym        \< \langle    
  8. closeSym    \> \rangle
  9. selectSym   .
  10.  
  11. simpleId    \bot \top
  12.  
  13. synonym     int         Int
  14. synonym     double      float
  15.  
  16. synonym        \and    /\
  17. synonym        \or        \/
  18. synonym        \implies    =>
  19. synonym        \marker    __
  20. synonym        =        ==
  21. synonym        \neq    !=
  22. synonym        \not    !
  23. synonym        \not    not
  24. synonym        \not    ~
  25. synonym        \pre    ^
  26. synonym        \post    '
  27. synonym        \arrow    ->
  28. synonym        \arrow    \ra
  29.  
  30. synonym     |-          \postcat
  31. synonym     -|          \pretcat
  32. synonym        |-        \vdash
  33. synonym        -|        \dashv
  34. synonym        \leq    <=
  35. synonym     \geq    >=
  36. synonym        \cap    \I
  37. synonym     \cup    \U
  38. synonym     \diamond    \rel
  39. synonym        \sqcap    \lub
  40. synonym        \sqcup    \glb
  41.